Towards a Formalization of System Requirements for an Integrated Clinical Environment
نویسندگان
چکیده
Interoperability of medical devices, and their interface to clinicians and patients, are critical issues for the safety and effectiveness of patient care. Ongoing efforts strive at establishing standards for integrated clinical environments, which may connect and co-ordinate several medical devices and interface them to patients, clinicians, and hospital information systems. In this paper, an approach to the formalization of system requirements for an integrated clinical environment is presented. The formalization relies on the higher-order logic language of the Prototype Verification System.
منابع مشابه
Identification of a Set of Activities to Be Collectively Considered as an Integrated System for Registering Pharmaceutical Supplies in the Ministry of Health and Medical Education, Iran
Background and Aim: One of the complex processes in the Ministry of Health and Medical Education in Iran is the process of registering pharmaceutical supplies. Currently the registration process is a multi-stage process, resulting in parallel services, a waste of time and unnecessary expenses. Therefore, an integrated system will improve the relevant service delivery. The purpose of this study ...
متن کاملAn integrated Assessment System of Citizen Reaction towards Local Government Social Media Accounts
Agovernmentshouldusesocialmediaforcommunicatingwithitscitizen.Theengagement index score is one of the methods for assessing the rate of governmental success in using social media as a tool in establishing interactive relationships with its citizen. In general, the engagement index score is obtained by calculating the number of posts, number of likes and comments, and so forth on a single social...
متن کاملAssisting Requirement Formalization by Means of Natural Language Translation
A prototype assistant, NL2ACTL, is presented for the formalization of behavioural requirements for the design of reactive systems. NL2ACTL is a tool for the automatic translation of Natural Language sentences, into formulae of the actionbased temporal logic ACTL. The Natural Language sentences are used to express informal requirements of reactive systems. ACTL is suitable for expressing propert...
متن کاملUrban green spaces assessment approach to health, safety and environment
The city is alive with dynamic systems, where parks and urban green spaces have high strategic importance which help to improve living conditions. Urban parks are used as visual landscape with so many benefits such as reducing stress, reducing air pollution and producing oxygen, creating opportunities for people to participate in physical activities, optimal environment for children and decreas...
متن کاملSome Issues in Implementation of a Voltage Stability Analysis Function in an Energy Management System Environment
Over the last few years, the problem of voltage stability has received a lot of attraction from the power system community. This type of stability is now a major concern for utilities in both planning and operating conditions. Both static and dynamic aspects of the problem have been discussed and investigated by the researchers. The present paper concentrates on a Voltage Stability Analysis fun...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- EAI Endorsed Trans. Self-Adaptive Systems
دوره 2 شماره
صفحات -
تاریخ انتشار 2016